Michael G. Hinchey：在 Z-Library 上搜索

Walt Truszkowski, Harold Hallock, Christopher Rouff, Jay Karlin, James Rash, Michael Hinchey, Roy Sterritt (auth.)

年:

2010

语言:

english

文件:

PDF, 5.15 MB

0 / 0

english, 2010

High-Integrity System Specification and Design

Jonathan P. Bowen BA, MA, Michael G. Hinchey BSc, MSc, PhD (auth.)

年:

1999

语言:

english

文件:

PDF, 17.04 MB

0 / 0

english, 1999

Formal Approaches to Agent-Based Systems: First InternationalWorkshop, FAABS 2000 Greenbelt, MD, USA, April 5–7, 2000 Revised Papers

Massimo Benerecetti, Fausto Giunchiglia (auth.), James L. Rash, Walt Truszkowski, Michael G. Hinchey, Christopher A. Rouff, Diana Gordon (eds.)

年:

2001

语言:

english

文件:

PDF, 3.25 MB

0 / 0

english, 2001

Industrial-strength formal methods in practice

Michael G. Hinchey, Jonathan P. Bowen (eds.)

年:

1999

语言:

english

文件:

DJVU, 3.63 MB

0 / 0

english, 1999

Formal Approaches to Agent-Based Systems: First InternationalWorkshop, FAABS 2000 Greenbelt, MD, USA, April 5–7, 2000 Revised Papers

Massimo Benerecetti, Fausto Giunchiglia (auth.), James L. Rash, Walt Truszkowski, Michael G. Hinchey, Christopher A. Rouff, Diana Gordon (eds.)

年:

2001

语言:

english

文件:

PDF, 4.97 MB

0 / 0

english, 2001

Formal Approaches to Agent-based Systems : Third International Workshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004 : Revised Selected Papers

Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher A. Rouff [Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher A. Rouff]

年:

2005

语言:

english

文件:

LIT , 8.26 MB

0 / 0

english, 2005

Formal Approaches to Agent-based Systems : Third International Workshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004 : Revised Selected Papers

Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher A. Rouff [Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher A. Rouff]

年:

2005

语言:

spanish

文件:

PDF, 8.16 MB

0 / 0

spanish, 2005

Formal Approaches to Agent-based Systems : Third International Workshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004 : Revised Selected Papers

Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher A. Rouff

年:

2005

语言:

spanish

文件:

AZW3 , 8.36 MB

0 / 0

spanish, 2005

Formal Approaches to Agent-based Systems : Third International Workshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004 : Revised Selected Papers

Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher A. Rouff [Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher A. Rouff]

年:

2005

语言:

spanish

文件:

EPUB, 7.74 MB

0 / 0

spanish, 2005

Formal Approaches to Agent-based Systems : Third International Workshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004 : Revised Selected Papers

Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher A. Rouff

年:

2005

语言:

spanish

文件:

FB2 , 11.49 MB

0 / 0

spanish, 2005

Formal Approaches to Agent-based Systems : Third International Workshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004 : Revised Selected Papers

Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher A. Rouff

年:

2005

语言:

spanish

文件:

MOBI , 17.44 MB

0 / 0

spanish, 2005

Understanding Formal Methods

Jean-François Monin PhD, Michael G. Hinchey PhD, MSc, BSc (auth.), Jean-François Monin PhD, Michael G. Hinchey PhD, MSc, BSc (eds.)

年:

2003

语言:

english

文件:

PDF, 11.81 MB

0 / 0

english, 2003

Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems

Walt Truszkowski, Harold Hallock, Christopher Rouff, Jay Karlin, James Rash, Michael Hinchey

年:

2009

语言:

english

文件:

PDF, 3.92 MB

0 / 0

english, 2009

Software technology: 10 years of innovation in IEEE Computer

IEEE Computer Society

Hinchey, Michael Gerard

年:

2018

语言:

english

文件:

PDF, 22.21 MB

0 / 0

english, 2018

Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings

J. -R. Abrial (auth.), Michael Butler, Michael G. Hinchey, María M. Larrondo-Petrie (eds.)

年:

2007

语言:

english

文件:

PDF, 4.28 MB

0 / 0

english, 2007

Formal Approaches to Agent-Based Systems: Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002. Revised Papers

Tim Menzies, Adrian Pearce, Clinton Heinze, Simon Goss (auth.), Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher Rouff, Diana Gordon-Spears (eds.)

年:

2003

语言:

english

文件:

PDF, 3.98 MB

0 / 0

english, 2003

Agent Technology from a Formal Perspective

Michael Hinchey, James Rash, Walt Truszkowski, Diana F. Gordon-Spears, Christopher Rouff

年:

2005

语言:

english

文件:

PDF, 3.51 MB

0 / 0

english, 2005

ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users Limerick, Ireland, September 7–9, 1995 Proceedings

David Lorge Parnas (auth.), Jonathan P. Bowen, Michael G. Hinchey (eds.)

年:

1995

语言:

english

文件:

DJVU, 5.90 MB

0 / 0

english, 1995

Formal Approaches to Agent-Based Systems: Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers

Maxim D. Peysakhov, Vincent A. Cicirello, William C. Regli (auth.), Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher A. Rouff (eds.)

年:

2005

语言:

english

文件:

PDF, 8.17 MB

0 / 0

english, 2005

Industrial-Strength Formal Methods in Practice

Jonathan P. Bowen, Michael G. Hinchey (auth.), Michael G. Hinchey BSc, MSc, PhD, Jonathan P. Bowen BA, MA (eds.)

年:

1999

语言:

english

文件:

PDF, 41.80 MB

0 / 0

english, 1999

ZUM ’98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings

Klaus Grimm (auth.), Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey (eds.)

年:

1998

语言:

english

文件:

PDF, 10.95 MB

0 / 0

english, 1998

Innovative Concepts for Autonomic and Agent-Based Systems: Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005. Revised Papers

Karin Breitman, Walt Truszkowski (auth.), Michael G. Hinchey, Patricia Rago, James L. Rash, Christopher A. Rouff, Roy Sterritt, Walt Truszkowski (eds.)

年:

2006

语言:

english

文件:

PDF, 5.32 MB

0 / 0

english, 2006

ZUM '97: The Z Formal Specification Notation: 10th International Conference of Z Users Reading, UK, April 3–4, 1997 Proceedings

Constance Heitmeyer (auth.), Jonathan P. Bowen, Michael G. Hinchey, David Till (eds.)

年:

1997

语言:

english

文件:

DJVU, 3.78 MB

0 / 0

english, 1997

Innovative Concepts for Autonomic and Agent-Based Systems: Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA,

Michael G. Hinchey, Patricia Rago, James L. Rash, Christopher A. Rouff

年:

2006

语言:

english

文件:

PDF, 5.76 MB

0 / 0

english, 2006

Agent Technology from a Formal Perspective

年:

2006

语言:

english

文件:

PDF, 1.83 MB

0 / 0

english, 2006

Formal Approaches to Agent-Based Systems: Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers

Maxim D. Peysakhov, Vincent A. Cicirello, William C. Regli (auth.), Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher A. Rouff (eds.)

年:

2005

语言:

english

文件:

PDF, 7.89 MB

0 / 0

english, 2005

Formal Approaches to Agent-Based Systems: Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers